Efficient Coverage Directed State Space Search
نویسندگان
چکیده
منابع مشابه
SIVA: A System for Coverage-Directed State Space Search
We introduce SImulation Verification with Augmentation (SIVA), a tool for coverage-directed state space search on digital hardware designs. SIVA tightly integrates simulation with symbolic techniques for efficient state space search. Specifically, the core algorithm uses a combination of ATPG and BDDs to generate “directed” input vectors, i.e., inputs which cover behavior not excited by simulat...
متن کاملReachability checking in complex and concurrent software systems using intelligent search methods
Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...
متن کاملDirected Test Generation for Validation of Cache Coherence Protocols
Computing systems utilize multi-core processors with complex cache coherence protocols to meet the increasing need for performance and energy improvement. It is a major challenge to verify the correctness of a cache coherence protocol since the number of reachable states grows exponentially with the number of cores. In this paper, we propose an efficient test generation technique, which can be ...
متن کاملUsing a model-based test generator to test for standard conformance
test generation. The process of test generation is automated by GOTCHA, which explores the state space described by the GDL model. The user has several alternative test generation strategies, including breadth-first search, coverage-directed search, and on-the-fly test generation. Breadth-first search and on-the-fly test generation algorithms are well known. Coverage-first search involves givin...
متن کاملSummary of Dagstuhl Seminar 06172 on Directed Model Checking
This is a summary of the Dagstuhl Seminar 06172 Directed Model Checking that was held 26 29 April 2006 at Schloss Dagstuhl, Germany. Directed Model Checking is a software and hardware verification technique that performs a systematic, heuristics guided search of the state space of the model to be analyzed. It hence reconciles classical model checking technology with intelligent, heuristics driv...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998